Constructible universe - PDFSEARCH.IO - Document Search Engine

Constructible universe
Results: 1309

#	Item
151	465 Documenta Math. Anticyclotomic Main Conjectures To John Coates Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2006-11-21 15:14:28 Operator theory Symbol Constructible universe Operator Table of stars with Bayer designations Differential forms on a Riemann surface
152	1 Documenta Math. Statistics of Lattice Points in Thin Annuli for Generic Lattices Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2006-05-07 16:01:21 Constructible universe Character encoding Digital typography Symbol Table of stars with Bayer designations
153	Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases Christian Muise, Tim Miller, Paolo Felli, Adrian R. Pearce, Liz Sonenberg Department of Computing and Information Systems, University of Melbourne {ch Add to Reading List Source URL: www.haz.ca Language: English - Date: 2015-02-22 18:34:09 IP Symbol Mathematical logic Distribution Model theory Constructible universe Modal logic Craig interpolation Linear temporal logic
154	391 Documenta Math. Parametrized Braid Groups of Chevalley Groups Jean-Louis Loday1 and Michael R. Stein2 Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2005-11-10 03:41:44 Differential forms Closed and exact differential forms Lemmas Constructible universe Braid group
155	Stabilizer Codes for Prime Power Qudits Daniel Gottesman Perimeter Institute Qubit Pauli and Clifford Groups Add to Reading List Source URL: www.qec14.ethz.ch Language: English - Date: 2014-12-19 04:03:41 Quantum computing Quantum information science Lie groups Linear algebra Non-associative algebras Stabilizer code Pauli group Constructible universe Mutation Qubit
156	177 Documenta Math. An Infinite Level Atom coupled to a Heat Bath Martin Koenenberg1 Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2011-04-22 12:51:18 Operator theory Symbol Constructible universe Self-adjoint operator
157	N. Kobayashi and B. C. Pierce (Eds): Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001), LNCS Vol. 2215, pp. 219–242, 2001. c Springer-Verlag Berlin Heidelberg 2001 Nominal Logic: Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2001-10-22 05:59:46 Model theory Automated theorem proving Logic programming First-order logic Predicate logic Symbol Substitution Constructible universe Interpretation
158	ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti Add to Reading List Source URL: www.crypto.ethz.ch Language: English - Date: 2015-05-12 12:57:27
159	c ACM, 2007. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Wor Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Constructible universe Expected value Ordinal number Distribution Probability distributions Beta distribution CurryHoward correspondence
160	Scalable Rational Secret Sharing [Extended Abstract] Varsha Dani Mahnush Movahedi Add to Reading List Source URL: www.dcg.ethz.ch Language: English - Date: 2014-09-26 08:28:56 Cryptography Verifiable secret sharing Secret sharing Secure multi-party computation Net Cheap talk Constructible universe Expected value Quantum Byzantine agreement Stable distribution

UPDATE